Une généralisation d'un théorème de Cugiani-Mahler

Une généralisation automorphe des nombres de Stirling

Let [n] be theset {1,2, *.. , n> and CT a given permutation in S,, the symmetric group on [n]. The (unsigned) Stirling numbers of the first kind enumerate the permutations on En] with k cycles and those of the second kind give the number partitions of [n] having k blocks. In this paper we compute the number of permutations on [n] with k cycles and the number of partitions on [n] having k blocks...

Une généralisation de la notion d'automate et applications

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Hiérarchies de généralisation dans les bases de données relationnelles : une approche hybride de rétro-conception

This paper proposes to combine a heuristic technique and an algorithmic one to provide a method to reverse engineer the generalization/specialization links hidden in a relational database. The heuristic phase combines the exploration of three sources: DDL specifications, DML specifications and data to provide information, such as inclusion links and existence constraints. This information is th...

Sur une Généralisation des Coefficients Binomiaux

We prove a recent conjecture of Lassalle about positivity and integrality of coefficients in some polynomial expansions. We also give a combinatorial interpretation of those numbers. Finally, we show that this question is closely related to the fundamental problem of calculating the linearization coefficients for binomial coefficients.